Causally simple inextendible spacetimes are hole-free

It is shown that causally simple inextendible spacetimes are hole-free, thus confirming the expectation that causal simplicity removes holes from spacetime. This result is optimal in the sense that causal simplicity cannot be weakened to causal continuity. Physically, it means that if there is some partial Cauchy hypersurface which, for some reason, does not fully develop its influence, then there is some discontinuity in the causal relation.Comment: Revtex4, 9 pages. v2: minor correction

No time machines in classical general relativity

Irrespective of local conditions imposed on the metric, any extendible spacetime U has a maximal extension containing no closed causal curves outside the chronological past of U. We prove this fact and interpret it as impossibility (in classical general relativity) of the time machines, insofar as the latter are defined to be causality-violating regions created by human beings (as opposed to those appearing spontaneously).Comment: A corrigendum (to be published in CQG) has been added to correct an important mistake in the definition of localit

Stable p-branes in Chern-Simons AdS supergravities

We construct static codimension-two branes in any odd dimension D, with negative cosmological constant, and show that they are exact solutions of Chern-Simons (super)gravity theory for (super)AdS coupled to external sources. The stability of these solutions is analyzed by counting the number of preserved supersymmetries. It is shown that static massive (D-3)-branes are unstable unless some suitable gauge fields are added and the brane is extremal. In particular, in three dimensions, a 0-brane is recognized as the negative mass counterpart of the BTZ black hole. For these 0-branes, we write explicitly electromagnetically charged BPS states with various number of preserved supersymmetries within the OSp(p|2) x OSp(q|2) supergroups. In five dimensions, we prove that stable 2-branes with electromagnetic charge always exist for the generic supergroup SU(2,2|N), where N is different than 4. For the special case N=4, in which the CS supergravity requires the addition of a nontrivial gauge field configuration in order to preserve maximal number of degrees of freedom, we show for two different static 2-branes that they are BPS states (one of which is the ground state), and from the corresponding algebra of charges we show that the energy is bounded from below. In higher dimensions, our results admit a straightforward generalization, although there are presumably more solutions corresponding to different intersections of the elementary objects.Comment: 43 pages, revtex4.cls; v2: slight amendments and references added to match published versio

A proof of the generalized second law for rapidly changing fields and arbitrary horizon slices

The generalized second law is proven for semiclassical quantum fields falling across a causal horizon, minimally coupled to general relativity. The proof is much more general than previous proofs in that it permits the quantum fields to be rapidly changing with time, and shows that entropy increases when comparing any slice of the horizon to any earlier slice. The proof requires the existence of an algebra of observables restricted to the horizon, satisfying certain axioms (Determinism, Ultralocality, Local Lorentz Invariance, and Stability). These axioms are explicitly verified in the case of free fields of various spins, as well as 1+1 conformal field theories. The validity of the axioms for other interacting theories is discussed.Comment: 44 pages, 1 fig. v3: clarified Sec. 2; signs, factors/notation corrected in Eq. 75-80, 105-107; reflects published version. v4: clearer axioms in Sec. 2.3, fixed compensating factor of 2 errors in Eq. 54,74 etc., and other errors. Results unaffected. v5: fixed typos. v6: replaced faulty 1+1 CFT argument, added note on recent progres

An almost sure limit theorem for super-Brownian motion

We establish an almost sure scaling limit theorem for super-Brownian motion on $\mathbb{R}^d$ associated with the semi-linear equation $u_t = {1/2}\Delta u +\beta u-\alpha u^2$, where $\alpha$ and $\beta$ are positive constants. In this case, the spectral theoretical assumptions that required in Chen et al (2008) are not satisfied. An example is given to show that the main results also hold for some sub-domains in $\mathbb{R}^d$.Comment: 14 page

Is Quantum Mechanics Compatible with an Entirely Deterministic Universe?

A b s t r a c t It will be argued that 1) the Bell inequalities are not equivalent with those inequalities derived by Pitowsky and others that indicate the Kolmogorovity of a probability model, 2) the original Bell inequalities are irrelevant to both the question of whether or not quantum mechanics is a Kolmogorovian theory as well as the problem of determinism, whereas 3) the Pitowsky type inequalities are not violated by quantum mechanics, hence 4) quantum mechanics is a Kolmogorovian probability theory, therefore, 5) it is compatible with an entirely deterministic universe.Comment: 15 pages, (compressed and uuencoded) Postscript (188 kb), preprint 94/0

Does a Computer have an Arrow of Time?

In [Sch05a], it is argued that Boltzmann's intuition, that the psychological arrow of time is necessarily aligned with the thermodynamic arrow, is correct. Schulman gives an explicit physical mechanism for this connection, based on the brain being representable as a computer, together with certain thermodynamic properties of computational processes. [Haw94] presents similar, if briefer, arguments. The purpose of this paper is to critically examine the support for the link between thermodynamics and an arrow of time for computers. The principal arguments put forward by Schulman and Hawking will be shown to fail. It will be shown that any computational process that can take place in an entropy increasing universe, can equally take place in an entropy decreasing universe. This conclusion does not automatically imply a psychological arrow can run counter to the thermodynamic arrow. Some alternative possible explana- tions for the alignment of the two arrows will be briefly discussed.Comment: 31 pages, no figures, publication versio

Closed Timelike Curves in Relativistic Computation

In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem. We also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs.Comment: 17 pages, 5 figure

General relativity histories theory II: Invariance groups

We show in detail how the histories description of general relativity carries representations of both the spacetime diffeomorphisms group and the Dirac algebra of constraints. We show that the introduction of metric-dependent equivariant foliations leads to the crucial result that the canonical constraints are invariant under the action of spacetime diffeomorphisms. Furthermore, there exists a representation of the group of generalised spacetime mappings that are functionals of the four-metric: this is a spacetime analogue of the group originally defined by Bergmann and Komar in the context of the canonical formulation of general relativity. Finally, we discuss the possible directions for the quantization of gravity in histories theory.Comment: 24 pages, submitted to Class. Quant. Gra

Assessment of hydrologic transport of radionuclides from the Rio Blanco underground nuclear test site, Colorado

DOE is operating an environmental restoration program to characterize, remediate, and close non-Nevada Test Site locations used for nuclear testing. Evaluation of radionuclide transport by groundwater is part of preliminary risk analysis. These evaluations allow prioritization of test areas in terms of risk, provide a basis for discussions with regulators and the public about future work, and provide a framework for assessing site characterization data needs. The Rio Blanco site in Colorado was the location of the simultaneous detonation of three 30-kiloton nuclear devices. The devices were located 1780, 1899, and 2039 below ground surface in the Fort Union and Mesaverde formations. Although all the bedrock formations at the site are thought to contain water, those below the Green River Formation (below 1000 in depth) are also gas-bearing, and have very low permeabilities. The transport scenario evaluated was the migration of radionuclides from the blast-created cavity through the Fort Union Formation. Transport calculations were performed using the solute flux method, with input based on the limited data available for the site. Model results suggest that radionuclides from the test are contained entirely within the area currently administered by DOE. This modeling was performed to investigate how the uncertainty in various physical parameters affect radionuclide transport at the site, and to serve as a starting point for discussion regarding further investigation; it was not intended to be a definitive simulation of migration pathways or radionuclide concentration values. Given the sparse data, the modeling results may differ significantly from reality. Confidence in transport predictions can be increased by obtaining more site data, including the amount of radionuclides which would have been available for transport (i.e., not trapped in melt glass or vented during gas flow testing), and the hydraulic properties of the formation. 38 refs., 6 figs., 1 tab